This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
اقرأ المزيدThe International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...
اقرأ المزيدThe focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical ...
اقرأ المزيدThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيدThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 10th Interntaional Workshop on Cryptographic Hardware and Embedded ...
اقرأ المزيدThis book is about public open spaces, about people, and about the relationship between them and the role of technology in ...
اقرأ المزيدThis volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security ...
اقرأ المزيدDiscusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...
اقرأ المزيدIn this book defense and security related applications are increasingly being tackled by researchers and practioners using ...
اقرأ المزيدFDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
اقرأ المزيدThe Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. ...
اقرأ المزيدThis volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
اقرأ المزيدThis thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...
اقرأ المزيدThis book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
اقرأ المزيدThis book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
اقرأ المزيدThis book constitutes the thoroughly refereed proceedings of the Second GeoSensor Networks Conference, held in Boston, Massachusetts, ...
اقرأ المزيد